This paper considers the computational complexity of the disjunction and existential properties of intuitionistic logic. We prove that the disjunction property holds feasibly for intuitionistic propositional logic; i.e., from a proof of A v B, a proof either of A or of B can be found in polynomial time. For intuitionistic predicate logic, we prove superexponential lower bounds for the disjunction property, namely, there is a superexponential lower bound on the time required, given a proof of A v B, to (...) produce one of A and B which is true. In addition, there is superexponential lower bound on the size of terms which fulfill the existential property of intuitionistic predicate logic. There are superexponential upper bounds for these problems, so the lower bounds are essentially optimal. (shrink)

A predicate extension SQHT= of the logic of here-and-there was introduced by V. Lifschitz, D. Pearce, and A. Valverde to characterize strong equivalence of logic programs with variables and equality with respect to stable models. The semantics for this logic is determined by intuitionistic Kripke models with two worlds with constant individual domain and decidable equality. Our sequent formulation has special rules for implication and for pushing negation inside formulas. The soundness proof allows us to establish that SQHT= is a (...) conservative extension of the logic of weak excluded middle with respect to sequents without positive occurrences of implication. The completeness proof uses a non-closed branch of a proof search tree. The interplay between rules for pushing negation inside and truth in the “there” world of the resulting Kripke model can be of independent interest. We prove that existence is definable in terms of remaining connectives. (shrink)

In MemoriamElena Mamchur8 July, 1935–14 December, 2023. The principle of ‘maximum inheritance’, put forward by Elena Mamchur, presupposes its effect in scientific cognition even during ‘radical cha...

We formulate a Hilbert-style axiomatic system and a tableau calculus for the STIT-based logic of imagination recently proposed in Wansing. Completeness of the axiom system is shown by the method of canonical models; completeness of the tableau system is also shown by using standard methods.

The purpose of the article is to substantiate the main theoretical and methodological provisions of museology as a humanitarian science. Its basic concepts are formulated from idealistic positions, its methodology is defined. As an object, the ideas of a person who creates a museum reality to achieve influence on the consciousness of other people are considered. The idea of a particular museum, realized in objective reality, is defined as the subject. The subject of museology is also the process of realization (...) of ideas – the functioning of museum reality and the process of its perception by visitors. The purpose of the museum is to make certain changes in the consciousness and attitude of another person – a visitor. The methodology of museology as a humanitarian science is based on the method of understanding, which provides comprehension of the ideas underlying the museum. Methods play a special role: communicative and construction. The goals of the museum determine its functions, the most important is the communicative one, it is she who realizes the main goal of the museum – to convey ideas and feelings from the museum employee to the visitor. The ways to achieve the goal may change with changing attitudes in society, while the museums themselves and their functions change. The main factor determining the role and social significance of museums is a person's interest in them, which manifests itself when the ideas embedded in their foundation correspond to the main ideological ideas prevailing in society and help people solve their vital problems. A museum should be relevant only when it plays an important role in the life of society. The next stage in the development of museology as a humanitarian science is its approbation in the course of solving scientific and practical tasks facing a museum employee. (shrink)

Our thinking is still the captive of the dichotomy “national/ international.” The reaction to nationalism takes the form of an abstract internationalism, and reaction to internationalism leads to the rebirth of nationalism. However, this dichotomy was only true (and that relatively) in 19th century Europe, or at the latest, at the beginning of the twentieth century, when subnational cultures seemed on the way to disappearing, and everything European was considered “universal” (two hypotheses that the facts prove to be untrue). As (...) H. Frey observes, “Today, the decline or decadence of the West is part of the contemporary view of the world, like the electron or the dinosaur.” The linear outline of progress, with Europe at the head, did not withstand the test of the First World War. The year 1918 marked the beginning of the end of Europeanism. Since then, we have begun to speak of “areas of civilization” (Splengler), “civilizations” (Toynbee), “cultural coalitions” (Lévi-Strauss). The existence of “areas of civilization” (regions) is commonly admitted today; it has entered journalistic language and even the structure of regional commissions and agencies of the United Nations (Europe, Near East, Southern Asia, South-east Asia, and the Far East). New communities have inserted themselves between nations and humanity. What do they represent? Are they something unique, or are they divided into a certain number of types in opposition to each other because of some characteristic? And in what way have they modified our view of universal history? (shrink)

In this paper we consider logical inference as an activity that results in proofs and hence produces knowledge. We suggest to merge the semantical analysis of deliberatively seeing-to-it-that from stit theory and the semantics of the epistemic logic with justification from. The general idea is to understand proving that A as seeing to it that a proof of A is available. We introduce a semantics of various notions of proving as an activity and present a number of valid principles that (...) relate the various notions of proving to each other and to notions of justified knowledge, implicit knowledge, and possibility. We also point out and comment upon certain principles our semantics fails to validate. (shrink)

Notions of k-asimulation and asimulation are introduced as asymmetric counterparts to k-bisimulation and bisimulation, respectively. It is proved that a first-order formula is equivalent to a standard translation of an intuitionistic propositional formula iff it is invariant with respect to k-asimulations for some k, and then that a first-order formula is equivalent to a standard translation of an intuitionistic propositional formula iff it is invariant with respect to asimulations. Finally, it is proved that a first-order formula is equivalent to a (...) standard translation of an intuitionistic propositional formula over the class of intuitionistic Kripke models iff it is invariant with respect to asimulations between intuitionistic models. (shrink)

У статті на основі фактичного матеріалу висвітлюються зв’язки відомого італійського гуманіста Філіппо Буонаккорсі Каллімаха (Philippus Callimachus Experiens; 1437–1496), який входив до складу так званої Платонівської Академії в Римі, з Григорієм Саноцьким (1406–1477) – архієпископом львівським, професором Краківської академії, ренесансним гуманістом, критиком схоластики i поетом. Саноцький був засновником першого гуманістичного гуртка в Україні, куди входив і Каллімах, який після втечі з Італії жив у домі Львівського архієпископа. Він залишив спогади про спілкування з Григорієм Саноцьким.

We show how to correct the analytic tableaux system from the paper Olkhovikov and Wansing, 259–279, 2018).

In addition to double‐ and single‐strand DNA breaks and isolated base modifications, ionizing radiation induces clustered DNA damage, which contains two or more lesions closely spaced within about two helical turns on opposite DNA strands. Post‐irradiation repair of single‐base lesions is routinely performed by base excision repair and a DNA strand break is involved as an intermediate. Simultaneous processing of lesions on opposite DNA strands may generate double‐strand DNA breaks and enhance nonhomologous end joining, which frequently results in the formation (...) of deletions. Recent studies support the possibility that the mechanism of base excision repair contributes to genome stability by diminishing the formation of double‐strand DNA breaks during processing of clustered lesions. BioEssays 23:745–749, 2001. © 2001 John Wiley & Sons, Inc. (shrink)

Summing up the ideas expressed in the most influential articles on the semantic halo of the Russian trochaic pentameter, scholars tend to avoid one particularly tricky question: how many units – and what kind of units – are needed to detect extra layers of meaning in a particular text? While the article of Kiril Taranovsky “О взаимоотношении стихотворного ритма и тематики” had implied that the source of these meanings (e.g. the dynamic theme of the journey) should be sought in a (...) line starting from the 3- to 4-syllable structure, incorporating a verb of motion and an anapestic anacrusis (Выхожу [verb of motion, last syllable stressed] один я на дорогу), later research objected to this principle as an oversimplification. At the same time two later contributions on the subject (Kirill Vishnevsky’s “Экспрессивный ореол пятистопного хорея” and Mikhail Gasparov’s “The semantic halo of the Russian trochaic pentameter: Thirty years of the problem”) proposed the idea of operating with whole texts as potential sources of meanings, thus calling into question a micro-level approach to the origin of the phenomenon. In my article I propose an empirical model that makes it possible to evaluate some limitations of both practices: I concentrate on some quasi-trochaic pentameters culled from the prose text of Подвиг (Glory) by Vladimir Nabokov (Sirin), and examine these quasi-verse incidents in the framework of both approaches. (shrink)

Summing up the ideas expressed in the most influential articles on the semantic halo of the Russian trochaic pentameter, scholars tend to avoid one particularly tricky question: how many units – and what kind of units – are needed to detect extra layers of meaning in a particular text? While the article of Kiril Taranovsky “О взаимоотношении стихотворного ритма и тематики” had implied that the source of these meanings (e.g. the dynamic theme of the journey) should be sought in a (...) line starting from the 3- to 4-syllable structure, incorporating a verb of motion and an anapestic anacrusis (Выхожу [verb of motion, last syllable stressed] один я на дорогу), later research objected to this principle as an oversimplification. At the same time two later contributions on the subject (Kirill Vishnevsky’s “Экспрессивный ореол пятистопного хорея” and Mikhail Gasparov’s “The semantic halo of the Russian trochaic pentameter: Thirty years of the problem”) proposed the idea of operating with whole texts as potential sources of meanings, thus calling into question a micro-level approach to the origin of the phenomenon. In my article I propose an empirical model that makes it possible to evaluate some limitations of both practices: I concentrate on some quasi-trochaic pentameters culled from the prose text of Подвиг (Glory) by Vladimir Nabokov (Sirin), and examine these quasi-verse incidents in the framework of both approaches. (shrink)

Summing up the ideas expressed in the most influential articles on the semantic halo of the Russian trochaic pentameter, scholars tend to avoid one particularly tricky question: how many units – and what kind of units – are needed to detect extra layers of meaning in a particular text? While the article of Kiril Taranovsky “О взаимоотношении стихотворного ритма и тематики” had implied that the source of these meanings (e.g. the dynamic theme of the journey) should be sought in a (...) line starting from the 3- to 4-syllable structure, incorporating a verb of motion and an anapestic anacrusis (Выхожу [verb of motion, last syllable stressed] один я на дорогу), later research objected to this principle as an oversimplification. At the same time two later contributions on the subject (Kirill Vishnevsky’s “Экспрессивный ореол пятистопного хорея” and Mikhail Gasparov’s “The semantic halo of the Russian trochaic pentameter: Thirty years of the problem”) proposed the idea of operating with whole texts as potential sources of meanings, thus calling into question a micro-level approach to the origin of the phenomenon. In my article I propose an empirical model that makes it possible to evaluate some limitations of both practices: I concentrate on some quasi-trochaic pentameters culled from the prose text of Подвиг (Glory) by Vladimir Nabokov (Sirin), and examine these quasi-verse incidents in the framework of both approaches. (shrink)

In this article we show that bi-intuitionistic predicate logic lacks the Craig Interpolation Property. We proceed by adapting the counterexample given by Mints, Olkhovikov and Urquhart for intuitionistic predicate logic with constant domains [13]. More precisely, we show that there is a valid implication $\phi \rightarrow \psi $ with no interpolant. Importantly, this result does not contradict the unfortunately named ‘Craig interpolation’ theorem established by Rauszer in [24] since that article is about the property more correctly named ‘deductive interpolation’ (see (...) Galatos, Jipsen, Kowalski and Ono’s use of this term in [5]) for global consequence. Given that the deduction theorem fails for bi-intuitionistic logic with global consequence, the two formulations of the property are not equivalent. (shrink)

The article deals with the approach to understanding science and technology as well as natural and cultural practices developed by the American philosopher Karen Barad in the concept of agential realism. The peculiarity of her approach consists in referring as a starting point to quantum mechanics in its interpretation, which was proposed by Niels Bohr. Barad proposes a reinterpretation of Bohr's propositions through revealing their ontological content. In this regard, the article addresses the epistemological and ontological problems that quantum physics (...) has faced, such as the conditions for the possibility of an objective description of the world, the nature of measurement, and the relationship between language and the material world. Discussed is the shift that Barad argues is asserted in Bohr's philosophy-physics, which consists of quantum mechanics moving from the linguistic concepts in which the world of classical science was represented to what Barad calls material-discursive practices through which the world is articulated and explained. The possibilities of a different interpretation of Niels Bohr's philosophy-physics are considered. (shrink)

The article shows that prior to the debate with the Monothelites, Maximus the Confessor followed the Christian tradition going back to Gregory of Nyssa in recognizing the presence of προαίρεσις in Christ and the saints. Later during the debate, Maximus declined to apply προαίρεσις to Christ and started to speak about the deactivation of προαίρεσις in the saints in the state of deification. Maximus was the first Orthodox author who distinguished deliberate choice and natural will, and defended the presence of (...) natural will in Christ according to His humanity. At the same time, the opposition of desire and deliberate choice can be found in some Neoplatonists, such as Iamblichus, Proclus, and Philoponus. Iamblichus and Proclus rejected the presence of προαίρεσις in the gods and god-like humans, admitting only the presence of βούλησις - the desire for the Good. Thus, the evolution of the doctrine of Maximus the Confessor, regarding the application of προαίρε- σις to Christ and the saints, finds a parallel doctrine in Neoplatonism. (shrink)

The article focuses on Alexander Bogdanov’s utopian novel The Red Star, which is interpreted as a sort of literary experimentation that, in a free artistic form, develops ideas of socialist...

In a series of "educational films" of the 80s devoted to various phenomena and effects from the field of natural sciences, Vladimir Kobrin sometimes refers to the technique he developed, which he calls "the method of obtaining a movie image using a running beam." In particular, in the film "The Physical Foundations of Quantum Mechanics", this technique is used to create a visual image of the well-known Heisenberg uncertainty relation. The article attempts to show that the effect of the technique (...) developed by the director goes beyond just a technical way of visualizing an abstract scientific and theoretical representation. It is suggested that this technique in Kobrin's later films, which are characterized by fragmentary, allegorical images, a shift from the expression of movement to the plasticity of transformations, the replacement of the spectator-observer figure with the spectator-witness figure, acts as a kind of condensation mechanism, a technique of "awakening to recognition" beyond the capabilities of the spectator assembly of film editing. (shrink)

The expression “the invisible hand of the market” (from the Adam Smith’s “Wealth of Nations”) sometimes acquires in modern ecomomical and everyday journalism the most unexpected overtones, like “why “the invisible hand of the market» totally disregard writer”? In the area of the scientific economic thinking “the «invisible hand” is interpreted as the objective market mechanism which coordinates the decisions of buyers and sellers. The attempts to analyze the epistemological status of “the invisible hand” are quite rare, especially in the (...) modality of the formation of the Economics as a science. Meanwhile, as it is shown in the article, there is reason to see here the first fundamental step to the origination of the scientific research program of the economic science in the strict sense. The author assumes that phenomena like “the invisible hand of the market” is comparable to what Thomas Kuhn designates as “the metaphysical parts of paradigms”, i. e. basic ontological models, which define peculiar scientific vision of the reality under research. The main difficulty for the scientific rationality in the attempts of generating scientific knowledge about society, was to represent the corresponding processes of human activity in the form of objective reality, which is required by the basic ideological attitude of the science as such. (shrink)

The article examines the main meanings of the concept of “social philosophy” and reveals three such meanings. First, social philosophy presents the views of a particular thinker on society and its nature. Second, social philosophy is the study of the most general laws of development of nature and society. Third, social philosophy is a value- worldview analysis of the most urgent and complex problems of social development, including philosophical criticism of the prevailing ideas in this society and the search for (...) constructive value alternatives. The author adheres to the third approach to understanding the meaning of social philosophy and gives two examples of socio-philosophical work: 1) analysis of the problem of labor in Russia in the context of the dominance of the theory of ‘catching up’ modernization; 2) analysis of the problem of democracy in the context of prevailing ideas about the inevitability of political authoritarianism as the main path of development of Russian civilization. (shrink)

The article analyzes the features of three main models of the welfare state: German, Northern European, and Anglo-Saxon. The author turns to the analysis of these models, first, because the problem of the welfare state in the world is again coming to the fore, and secondly, because social development in the most developed countries, in the author’s opinion, in the future will be largely determined by the values and behavioral models that are embedded in the three main versions of the (...) social state in Europe. From the author’s point of view, the key features of the European social model, which combines these three versions, are respect for rights and human dignity, the ideas of equality and solidarity, the ideas of social and political compromise, and the choice of an evolutionary path of development. According to the author, these features are the main difference between the European model and what characterizes the political culture of Russia with its maximalism and tendency to extremes. The author believes that the social experience of Europe is something that needs to be addressed today in Russian conditions and that can be extremely valuable for us. At the same time, as shown in the article, the welfare state in Europe has important country features. The German model is characterized by an emphasis on maintaining the socio-economic status of the individual – this is a conservative model. The Northern European model is based on the principles of universal equality and universalism – it is a social-democratic model. And the Anglo-Saxon model, based on the low role of the state, on the great importance of civil society, is a liberal model. Nevertheless, despite significant differences, as shown in the article, all these models are characterized by the desire to implement compromise principles, to find a “Golden mean,” which makes them highly effective. (shrink)

Justification stit logic is a logic for reasoning about proving as a certain kind of activity, namely seeing to it that a proof is publicly available. It merges the semantical analysis of deliberatively seeing-to-it-that from stit theory and the semantics of the epistemic logic with justification from. In this paper, after recalling its language and basic semantical definitions, various ramifications and refinements of justification stit logic are presented and discussed: imposing natural restrictions upon the class of models under consideration, making (...) use of modalities that assert the existence of a proof, introducing a variant of justification stit logic based on a semantics introduced by M. Fitting, and adding variable-binding operators and extending the set of proof polynomials. (shrink)

We formulate epsilon substitution method for elementary analysisEA (second order arithmetic with comprehension for arithmetical formulas with predicate parameters). Two proofs of its termination are presented. One uses embedding into ramified system of level one and cutelimination for this system. The second proof uses non-effective continuity argument.

Cut reductions are defined for a Kripke-style formulation of modal logic in terms of indexed systems of sequents. A detailed proof of the normalization (cutelimination) theorem is given. The proof is uniform for the propositional modal systems with all combinations of reflexivity, symmetry and transitivity for the accessibility relation. Some new transformations of derivations (compared to standard sequent formulations) are needed, and some additional properties are to be checked. The display formulations [1] of the systems considered can be presented as (...) encodings of Kripke-style formulations. (shrink)